home *** CD-ROM | disk | FTP | other *** search
/ TeX 1995 July / TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO / macros / latex209 / contrib / misc / amssymbols.sty < prev    next >
Text File  |  1993-04-01  |  10KB  |  293 lines

  1. % Adapted by Charles Karney (Karney%PPC.MFENET@NMFECC.ARPA) 1986/07/28.
  2. % This style option loads up the AMS symbol fonts and associated symbol
  3. % definitions.  See the Nov 85 issue of TUGBoat for a listing of these
  4. % symbols.  Only \textfont, \scriptfont, and \scriptscriptfont sizes are
  5. % provided.  10pt, 11pt, 12pt styles are supported.
  6.  
  7. %% This is the LATEX version of MSSYMB.TEX.
  8. %% Changes:
  9. %% (1) take out the \catcode`\@ business (LaTeX takes care of this)
  10. %% (2) Set font sizes according to \@ptsize
  11.  
  12. %
  13. %               *****     MSSYMB.TeX    *****                  4 Nov 85
  14. %
  15. %       This file contains the definitions for the symbols in the two
  16. %       "extra symbols" fonts created at the American Math. Society.
  17.  
  18. %% \catcode`\@=11
  19.  
  20. %% \font\tenmsx=msxm10
  21. %% \font\sevenmsx=msxm7
  22. %% \font\fivemsx=msxm5
  23. %% \font\tenmsy=msym10
  24. %% \font\sevenmsy=msym7
  25. %% \font\fivemsy=msym5
  26.  
  27. \ifcase\@ptsize
  28.  \font\tenmsx=msxm10
  29.  \font\sevenmsx=msxm7
  30.  \font\fivemsx=msxm5
  31.  \font\tenmsy=msym10
  32.  \font\sevenmsy=msym7
  33.  \font\fivemsy=msym5
  34. \or
  35.  \font\tenmsx=msxm10 scaled \magstephalf
  36.  \font\sevenmsx=msxm8
  37.  \font\fivemsx=msxm6
  38.  \font\tenmsy=msym10 scaled \magstephalf
  39.  \font\sevenmsy=msym8
  40.  \font\fivemsy=msym6
  41. \or
  42.  \font\tenmsx=msxm10 scaled \magstep1
  43.  \font\sevenmsx=msxm8
  44.  \font\fivemsx=msxm6
  45.  \font\tenmsy=msym10 scaled \magstep1
  46.  \font\sevenmsy=msym8
  47.  \font\fivemsy=msym6
  48. \fi
  49.  
  50. \newfam\msxfam
  51. \newfam\msyfam
  52. \textfont\msxfam=\tenmsx  \scriptfont\msxfam=\sevenmsx
  53.   \scriptscriptfont\msxfam=\fivemsx
  54. \textfont\msyfam=\tenmsy  \scriptfont\msyfam=\sevenmsy
  55.   \scriptscriptfont\msyfam=\fivemsy
  56.  
  57. \def\hexnumber@#1{\ifnum#1<10 \number#1\else
  58.  \ifnum#1=10 A\else\ifnum#1=11 B\else\ifnum#1=12 C\else
  59.  \ifnum#1=13 D\else\ifnum#1=14 E\else\ifnum#1=15 F\fi\fi\fi\fi\fi\fi\fi}
  60.  
  61. \def\msx@{\hexnumber@\msxfam}
  62. \def\msy@{\hexnumber@\msyfam}
  63. \mathchardef\boxdot="2\msx@00
  64. \mathchardef\boxplus="2\msx@01
  65. \mathchardef\boxtimes="2\msx@02
  66. \mathchardef\square="0\msx@03
  67. \mathchardef\blacksquare="0\msx@04
  68. \mathchardef\centerdot="2\msx@05
  69. \mathchardef\lozenge="0\msx@06
  70. \mathchardef\blacklozenge="0\msx@07
  71. \mathchardef\circlearrowright="3\msx@08
  72. \mathchardef\circlearrowleft="3\msx@09
  73. \mathchardef\rightleftharpoons="3\msx@0A
  74. \mathchardef\leftrightharpoons="3\msx@0B
  75. \mathchardef\boxminus="2\msx@0C
  76. \mathchardef\Vdash="3\msx@0D
  77. \mathchardef\Vvdash="3\msx@0E
  78. \mathchardef\vDash="3\msx@0F
  79. \mathchardef\twoheadrightarrow="3\msx@10
  80. \mathchardef\twoheadleftarrow="3\msx@11
  81. \mathchardef\leftleftarrows="3\msx@12
  82. \mathchardef\rightrightarrows="3\msx@13
  83. \mathchardef\upuparrows="3\msx@14
  84. \mathchardef\downdownarrows="3\msx@15
  85. \mathchardef\upharpoonright="3\msx@16
  86. \let\restriction=\upharpoonright
  87. \mathchardef\downharpoonright="3\msx@17
  88. \mathchardef\upharpoonleft="3\msx@18
  89. \mathchardef\downharpoonleft="3\msx@19
  90. \mathchardef\rightarrowtail="3\msx@1A
  91. \mathchardef\leftarrowtail="3\msx@1B
  92. \mathchardef\leftrightarrows="3\msx@1C
  93. \mathchardef\rightleftarrows="3\msx@1D
  94. \mathchardef\Lsh="3\msx@1E
  95. \mathchardef\Rsh="3\msx@1F
  96. \mathchardef\rightsquigarrow="3\msx@20
  97. \mathchardef\leftrightsquigarrow="3\msx@21
  98. \mathchardef\looparrowleft="3\msx@22
  99. \mathchardef\looparrowright="3\msx@23
  100. \mathchardef\circeq="3\msx@24
  101. \mathchardef\succsim="3\msx@25
  102. \mathchardef\gtrsim="3\msx@26
  103. \mathchardef\gtrapprox="3\msx@27
  104. \mathchardef\multimap="3\msx@28
  105. \mathchardef\therefore="3\msx@29
  106. \mathchardef\because="3\msx@2A
  107. \mathchardef\doteqdot="3\msx@2B
  108. \let\Doteq=\doteqdot
  109. \mathchardef\triangleq="3\msx@2C
  110. \mathchardef\precsim="3\msx@2D
  111. \mathchardef\lesssim="3\msx@2E
  112. \mathchardef\lessapprox="3\msx@2F
  113. \mathchardef\eqslantless="3\msx@30
  114. \mathchardef\eqslantgtr="3\msx@31
  115. \mathchardef\curlyeqprec="3\msx@32
  116. \mathchardef\curlyeqsucc="3\msx@33
  117. \mathchardef\preccurlyeq="3\msx@34
  118. \mathchardef\leqq="3\msx@35
  119. \mathchardef\leqslant="3\msx@36
  120. \mathchardef\lessgtr="3\msx@37
  121. \mathchardef\backprime="0\msx@38
  122. \mathchardef\risingdotseq="3\msx@3A
  123. \mathchardef\fallingdotseq="3\msx@3B
  124. \mathchardef\succcurlyeq="3\msx@3C
  125. \mathchardef\geqq="3\msx@3D
  126. \mathchardef\geqslant="3\msx@3E
  127. \mathchardef\gtrless="3\msx@3F
  128. \mathchardef\sqsubset="3\msx@40
  129. \mathchardef\sqsupset="3\msx@41
  130. \mathchardef\vartriangleright="3\msx@42
  131. \mathchardef\vartriangleleft="3\msx@43
  132. \mathchardef\trianglerighteq="3\msx@44
  133. \mathchardef\trianglelefteq="3\msx@45
  134. \mathchardef\bigstar="0\msx@46
  135. \mathchardef\between="3\msx@47
  136. \mathchardef\blacktriangledown="0\msx@48
  137. \mathchardef\blacktriangleright="3\msx@49
  138. \mathchardef\blacktriangleleft="3\msx@4A
  139. \mathchardef\vartriangle="3\msx@4D
  140. \mathchardef\blacktriangle="0\msx@4E
  141. \mathchardef\triangledown="0\msx@4F
  142. \mathchardef\eqcirc="3\msx@50
  143. \mathchardef\lesseqgtr="3\msx@51
  144. \mathchardef\gtreqless="3\msx@52
  145. \mathchardef\lesseqqgtr="3\msx@53
  146. \mathchardef\gtreqqless="3\msx@54
  147. \mathchardef\Rrightarrow="3\msx@56
  148. \mathchardef\Lleftarrow="3\msx@57
  149. \mathchardef\veebar="2\msx@59
  150. \mathchardef\barwedge="2\msx@5A
  151. \mathchardef\doublebarwedge="2\msx@5B
  152. \mathchardef\angle="0\msx@5C
  153. \mathchardef\measuredangle="0\msx@5D
  154. \mathchardef\sphericalangle="0\msx@5E
  155. \mathchardef\varpropto="3\msx@5F
  156. \mathchardef\smallsmile="3\msx@60
  157. \mathchardef\smallfrown="3\msx@61
  158. \mathchardef\Subset="3\msx@62
  159. \mathchardef\Supset="3\msx@63
  160. \mathchardef\Cup="2\msx@64
  161. \let\doublecup=\Cup
  162. \mathchardef\Cap="2\msx@65
  163. \let\doublecap=\Cap
  164. \mathchardef\curlywedge="2\msx@66
  165. \mathchardef\curlyvee="2\msx@67
  166. \mathchardef\leftthreetimes="2\msx@68
  167. \mathchardef\rightthreetimes="2\msx@69
  168. \mathchardef\subseteqq="3\msx@6A
  169. \mathchardef\supseteqq="3\msx@6B
  170. \mathchardef\bumpeq="3\msx@6C
  171. \mathchardef\Bumpeq="3\msx@6D
  172. \mathchardef\lll="3\msx@6E
  173. \let\llless=\lll
  174. \mathchardef\ggg="3\msx@6F
  175. \let\gggtr=\ggg
  176. \mathchardef\circledS="0\msx@73
  177. \mathchardef\pitchfork="3\msx@74
  178. \mathchardef\dotplus="2\msx@75
  179. \mathchardef\backsim="3\msx@76
  180. \mathchardef\backsimeq="3\msx@77
  181. \mathchardef\complement="0\msx@7B
  182. \mathchardef\intercal="2\msx@7C
  183. \mathchardef\circledcirc="2\msx@7D
  184. \mathchardef\circledast="2\msx@7E
  185. \mathchardef\circleddash="2\msx@7F
  186. \def\ulcorner{\delimiter"4\msx@70\msx@70 }
  187. \def\urcorner{\delimiter"5\msx@71\msx@71 }
  188. \def\llcorner{\delimiter"4\msx@78\msx@78 }
  189. \def\lrcorner{\delimiter"5\msx@79\msx@79 }
  190. \def\yen{\mathhexbox\msx@55 }
  191. \def\checkmark{\mathhexbox\msx@58 }
  192. \def\circledR{\mathhexbox\msx@72 }
  193. \def\maltese{\mathhexbox\msx@7A }
  194. \mathchardef\lvertneqq="3\msy@00
  195. \mathchardef\gvertneqq="3\msy@01
  196. \mathchardef\nleq="3\msy@02
  197. \mathchardef\ngeq="3\msy@03
  198. \mathchardef\nless="3\msy@04
  199. \mathchardef\ngtr="3\msy@05
  200. \mathchardef\nprec="3\msy@06
  201. \mathchardef\nsucc="3\msy@07
  202. \mathchardef\lneqq="3\msy@08
  203. \mathchardef\gneqq="3\msy@09
  204. \mathchardef\nleqslant="3\msy@0A
  205. \mathchardef\ngeqslant="3\msy@0B
  206. \mathchardef\lneq="3\msy@0C
  207. \mathchardef\gneq="3\msy@0D
  208. \mathchardef\npreceq="3\msy@0E
  209. \mathchardef\nsucceq="3\msy@0F
  210. \mathchardef\precnsim="3\msy@10
  211. \mathchardef\succnsim="3\msy@11
  212. \mathchardef\lnsim="3\msy@12
  213. \mathchardef\gnsim="3\msy@13
  214. \mathchardef\nleqq="3\msy@14
  215. \mathchardef\ngeqq="3\msy@15
  216. \mathchardef\precneqq="3\msy@16
  217. \mathchardef\succneqq="3\msy@17
  218. \mathchardef\precnapprox="3\msy@18
  219. \mathchardef\succnapprox="3\msy@19
  220. \mathchardef\lnapprox="3\msy@1A
  221. \mathchardef\gnapprox="3\msy@1B
  222. \mathchardef\nsim="3\msy@1C
  223. \mathchardef\napprox="3\msy@1D
  224. \mathchardef\varsubsetneq="3\msy@20
  225. \mathchardef\varsupsetneq="3\msy@21
  226. \mathchardef\nsubseteqq="3\msy@22
  227. \mathchardef\nsupseteqq="3\msy@23
  228. \mathchardef\subsetneqq="3\msy@24
  229. \mathchardef\supsetneqq="3\msy@25
  230. \mathchardef\varsubsetneqq="3\msy@26
  231. \mathchardef\varsupsetneqq="3\msy@27
  232. \mathchardef\subsetneq="3\msy@28
  233. \mathchardef\supsetneq="3\msy@29
  234. \mathchardef\nsubseteq="3\msy@2A
  235. \mathchardef\nsupseteq="3\msy@2B
  236. \mathchardef\nparallel="3\msy@2C
  237. \mathchardef\nmid="3\msy@2D
  238. \mathchardef\nshortmid="3\msy@2E
  239. \mathchardef\nshortparallel="3\msy@2F
  240. \mathchardef\nvdash="3\msy@30
  241. \mathchardef\nVdash="3\msy@31
  242. \mathchardef\nvDash="3\msy@32
  243. \mathchardef\nVDash="3\msy@33
  244. \mathchardef\ntrianglerighteq="3\msy@34
  245. \mathchardef\ntrianglelefteq="3\msy@35
  246. \mathchardef\ntriangleleft="3\msy@36
  247. \mathchardef\ntriangleright="3\msy@37
  248. \mathchardef\nleftarrow="3\msy@38
  249. \mathchardef\nrightarrow="3\msy@39
  250. \mathchardef\nLeftarrow="3\msy@3A
  251. \mathchardef\nRightarrow="3\msy@3B
  252. \mathchardef\nLeftrightarrow="3\msy@3C
  253. \mathchardef\nleftrightarrow="3\msy@3D
  254. \mathchardef\divideontimes="2\msy@3E
  255. \mathchardef\varnothing="0\msy@3F
  256. \mathchardef\nexists="0\msy@40
  257. \mathchardef\mho="0\msy@66
  258. \mathchardef\thorn="0\msy@67
  259. \mathchardef\beth="0\msy@69
  260. \mathchardef\gimel="0\msy@6A
  261. \mathchardef\daleth="0\msy@6B
  262. \mathchardef\lessdot="3\msy@6C
  263. \mathchardef\gtrdot="3\msy@6D
  264. \mathchardef\ltimes="2\msy@6E
  265. \mathchardef\rtimes="2\msy@6F
  266. \mathchardef\shortmid="3\msy@70
  267. \mathchardef\shortparallel="3\msy@71
  268. \mathchardef\smallsetminus="2\msy@72
  269. \mathchardef\thicksim="3\msy@73
  270. \mathchardef\thickapprox="3\msy@74
  271. \mathchardef\approxeq="3\msy@75
  272. \mathchardef\succapprox="3\msy@76
  273. \mathchardef\precapprox="3\msy@77
  274. \mathchardef\curvearrowleft="3\msy@78
  275. \mathchardef\curvearrowright="3\msy@79
  276. \mathchardef\digamma="0\msy@7A
  277. \mathchardef\varkappa="0\msy@7B
  278. \mathchardef\hslash="0\msy@7D
  279. \mathchardef\hbar="0\msy@7E
  280. \mathchardef\backepsilon="3\msy@7F
  281. % Use the next 4 lines with AMS-TeX:
  282. %\def\Bbb{\relaxnext@\ifmmode\let\next\Bbb@\else
  283. % \def\next{\Err@{Use \string\Bbb\space only in math mode}}\fi\next}
  284. %\def\Bbb@#1{{\Bbb@@{#1}}}
  285. %\def\Bbb@@#1{\noaccents@\fam\msyfam#1}
  286. % Use the next 4 lines if NOT using AMS-TeX:
  287. \def\Bbb{\ifmmode\let\next\Bbb@\else
  288.  \def\next{\errmessage{Use \string\Bbb\space only in math mode}}\fi\next}
  289. \def\Bbb@#1{{\Bbb@@{#1}}}
  290. \def\Bbb@@#1{\fam\msyfam#1}
  291.  
  292. %% \catcode`\@=12
  293.